Ordinal arithmetic - PDFSEARCH.IO - Document Search Engine

Ordinal arithmetic
Results: 131

#	Item
21	Iterative Context Bounding for Systematic Testing of Multithreaded Programs Madan Musuvathi Shaz Qadeer Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 20:08:22 Thread Mathematical logic Computing Curry–Howard correspondence Ordinal arithmetic Mathematics Constructible universe Net
22	Keio University Thesis Abstract No. Registration Add to Reading List Source URL: www.flet.keio.ac.jp Language: English - Date: 2011-01-10 04:43:39 Mathematics Conservative extension Second-order arithmetic Cut-elimination theorem Ordinal analysis Reverse mathematics Proof theory Mathematical logic Logic
23	—PREPRINT— Supplementary Material to “Cooled and Relaxed Survey Propagation for MRFs” Hai Leong Chieu1,2 , Wee Sun Lee2 Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2007-10-02 20:48:29 Curry–Howard correspondence Ordinal arithmetic Constructible universe Proof theory Ordinal numbers
24	Mathematics Their Way Summary Newsletter CHAPTER 5: COUNTING If teachers and parents take advantage of natural counting opportunities, there is little need to contrive special counting activities. Children memorize count Add to Reading List Source URL: www.center.edu Language: English - Date: 2012-12-23 20:12:16 Mathematical logic Elementary arithmetic Addition Count von Count Ordinal number Number Mathematics Elementary mathematics Counting
25	A General Discrete Velocity Model Including Internal Degrees of Freedom Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:58 Set theory Ordinal numbers Proof theory Ordinal arithmetic Curry–Howard correspondence Mathematical logic Collision Mechanics
26	CCCG 2007, Ottawa, Ontario, August 20–22, 2007 Fast Additive Constant Approximation Algorithms for The Safe Deposit Boxes Problem with Two and Three Currencies Boaz Ben-Moshe∗ Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-28 21:30:52 Dynamic programming Combinatorial optimization Cryptography Knapsack problem Operations research Algorithm Baby-step giant-step Ordinal arithmetic Mathematics Theoretical computer science Applied mathematics
27	Fast Additive Constant Approximation Algorithms for The Safe Deposit Boxes Problem with Two and Three Currencies Boaz Ben-Moshe1 1 Yefim Dinitz2 Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-28 21:26:42 Ordinal numbers Logic Ordinal arithmetic Set theory Curry–Howard correspondence Mathematical logic Proof theory Mathematics
28	Global behavior of a plant-herbivore model Add to Reading List Source URL: www.advancesindifferenceequations.com Language: English Set theory Dynamical systems Curry–Howard correspondence Proof theory Type theory Ordinal arithmetic Mathematical logic Mathematics Ordinal numbers
29	Power-Aware Speed Scaling in Processor Sharing Systems Adam Wierman Computer Science Department California Institute of Technology Add to Reading List Source URL: www.caia.swin.edu.au Language: English - Date: 2010-08-02 23:33:59 Set theory Ordinal numbers Proof theory Ordinal arithmetic
30	Power-Aware Speed Scaling in Processor Sharing Systems Adam Wierman Computer Science Department California Institute of Technology Add to Reading List Source URL: users.monash.edu Language: English - Date: 2014-01-09 20:53:07 Set theory Ordinal numbers Proof theory Ordinal arithmetic